Two - Variable Logic on Data

نویسنده

  • ANCA MUSCHOLL
چکیده

In a data word each position carries a label from a finite alphabet and a data value from some infinite domain. This model has been already considered in the realm of semistructured data, timed automata and extended temporal logics. This paper shows that satisfiability for the two-variable fragment FO(∼,<,+1) of firstorder logic with data equality test ∼, is decidable over finite and over infinite data words. Here, +1 and < are the usual successor and order predicates, respectively. The satisfiability problem is shown to be at least as hard as reachability in Petri nets. Several extensions of the logic are considered, some remain decidable while some are undecidable.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Semi-active Control of Building Structures using Variable Stiffness Device and Fuzzy Logic

Semi-active control devices, also called “Intelligent” control devices, constitute the positive aspects of both the passive and active control devices. A semi-active control strategy is similar to the active control strategy, but this control device has been shown to be more energy-efficient than active devices. A particular type of semi-active control device, the Variable Stiffness Device (VSD...

متن کامل

Logic regression and its application in predicting diseases

Regression is one of the most important statistical tools in data analysis and study of the relationship between predictive variables and the response variable. in most issues, regression models and decision tress only can show the main effects of predictor variables on the response and considering interactions between variables does not exceed of two way and ultimately three-way, due to co...

متن کامل

Variable Impedance Control for Rehabilitation Robot using Interval Type-2 Fuzzy Logic

In this study, a novel variable impedance control for a lower-limb rehabilitation robotic system using voltage control strategy is presented. The majority of existing control approaches are based on control torque strategy, which require the knowledge of robot dynamics as well as dynamic of patients. This requires the controller to overcome complex problems such as uncertainties and nonlinearit...

متن کامل

Fuzzy Logic Control of a Switched Reluctance Motor

Because of extreme local saturation at pole tips of excited phase and uncircular shape of rotor and stator, a Swithed Reluctance Motor (SRM) does not have a simple and accurate mathematical model. Therefore, the output control of this motor requires a robust controller which is not based on an accurate model of the process. Fuzzy controllers, to some extent, will satisfy these requirements. Tet...

متن کامل

Fuzzy Logic Control of a Switched Reluctance Motor

Because of extreme local saturation at pole tips of excited phase and uncircular shape of rotor and stator, a Swithed Reluctance Motor (SRM) does not have a simple and accurate mathematical model. Therefore, the output control of this motor requires a robust controller which is not based on an accurate model of the process. Fuzzy controllers, to some extent, will satisfy these requirements. Tet...

متن کامل

Prediction and evaluation of runoff data in south of Qazvin watershed, using a fuzzy logic technique

The important criteria for designing in the most of hydrologic and hydraulic construction projects are based on runoff or peak-flow of water. Mostly, this measure and criterion is calculated or estimated by stochastic data. Another feature of these data that are used in watershed hydrological studies is their impreciseness. Therefore, in this study, in order to deal with uncertainty and impreci...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2010